面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

减少机床噪声污染的方法

噪声污染已成为世界三大污染之一.在工业企业中机床噪声是重要的噪声污染源之一.本文主要从机床的齿轮传动、轴承的选用和齿轮箱的结构等方面对机床噪声产生的影响以及提出相应的降噪措施进行了探讨.从而降低机床噪声,保障工人身心健康,改善车间工作环境.     

面向高速切削加工的数控编程技术

分析高速切削加工所具有的特殊性及优点,并说明高速切削对数控编程方法的限制.针对传统编程方法,提出了满足高速切削加工的刀位轨迹特殊处理关键技术,并对其实现方法进行了较详尽的论述.同时,对高速切削数控编程中刀具载荷分析与速率优化、毛坯残留量自动分析等新技术的实现方法也进行了探讨.     

提高压电式直线电机推力新技术

介绍了蠕动式、脉冲式、行波式及表面波式等几种压电直线电机的改进措施和进展情况，其中微脊式蠕动直线电机和表面波直线电机极有可能成为今后压电直线电机的商品化市场的新产品方向。     

测定钡含量的快速方法

本文研究了测定钡盐中钡含量的快速方法。该法是基于被测的钡离子与过量的铬酸钠标准溶液反应形成铬酸钡沉淀，剩余的铬酸根离子以溴甲酚绿-甲基红为混合指示剂，用盐酸标准溶液滴定，而间接测定钡的量。该法操作简便、快速，可应用于多种钡盐中钡的测定。     

信息系统群演化的综合环境SEE的研究

旨在通过对系统构架各视角的研究，开发一个信息系统综合演化环境，从而提供针对各类系统演化特征的通用的解决方案，并利用方法论的手段规范、指导和维护系统(群)的演化活动。本文首先论述了大型系统中各个系统和组件变化及改进活动中存在的问题，分析相关的研究及面临的挑战，从而提出系统群演化的概念。然后文章概括了系统群演化的特征，提出解决以上问题的思想方法，即开发“信息系统群演化的综合环境(Synthetic environment of evolution，SEE)”，将各种演化活动纳入规范，指导系统群的演化活动；在此基础上，进一步就实现SEE的关键技术给出了描述及运用的范例。     

一种划分航空知识点类型的方法

基于航空知识提出一种划分知识点类型的方法,对各种知识点类型进行统计,给出知识点的存储结构。     

GDBMS中图形数据的表示与存贮

GDBMS是作者设计并实现的一个实验性的工程图形数据库管理系统。它基于扩充关系数据模型,成功地完成了对工程图形数据的描述。 本文从图形的数据库表示出发,对几何实体的建模方法进行了分析,介绍了GDBMS中的图形数据模型及其实现方法。该数据模型吸取图元枚举法(PI方法),结构实体几何表示法(CSG法)和边界表示法(BR方法)的优点,在进行交互式图形编辑以及图形显示时,采用CSG结构,在数据库的存贮和处理时,采用扩充的BR方法。     

红外隐身材料的研究进展

红外探测器的高度发展已使用于目标表面的热红外隐身材料成为飞行器隐身技术中的一个重要组成部分。但对这种材料的发展情况,以往的文献一向较少涉及。本文概括了这种材料的一般性能要求,较全面地评述了十余年来红外隐身材料研究中各主要方面的发展情况,并分析了一些重要材料品种的特点、性能水平、技术影响因素、存在的问题和发展趋势。